Module isotope::ctx[][src]

Expand description

Contexts for creating, normalizing, and type-checking isotope terms

Modules

cons

Contexts for hash-consing terms

eq

Contexts for equality-checking terms

eval

Evaluation contexts

subst

Contexts for substituting terms

ty

Contexts for type-checking terms

Type Definitions

StandardCtx

A standard typing context